g:IGroup. ~(e) = e  |g| 

latex

Up	groups 1
Definitions of Statement	IMonoid, IGroup
Definitions	t  T, x:A. B(x), P  Q, P & Q, P  Q, P  Q, IMonoid, IGroup
Lemmas	igrp wf, grp inverse, grp id wf, grp inv wf, grp car wf, mon ident